#ifndef TYPE_H
#define TYPE_H

#include <stdint.h>
#include <stddef.h>
typedef uint32_t ssize_t;
typedef uint32_t off_t;


#endif // KTHREAD_H